Το πρόβλημα του πλαισίου.

Abstract

Η εργασία αυτή περιγράφει το πρόβλημα του πλαισίου της Τεχνητής Νοημοσύνης και παρουσιάζει τις βασικότερες λύσεις που έχουν δοθεί. Γίνεται προσπάθεια να δοθεί ένα γενικό πλαίσιο που να περιγράφει το πρόβλημα από τα ντετερμινιστικά κατηγορήματα ή τις συναρτήσεις τα οποία δεν επηρεάζονται, όταν κάποια ενέργεια πραγματοποιηθεί. Στα πλαίσια κατανόησης του προβλήματος πρώτον παρουσιάζεται ο κατηγορηματικός λογισμός (με τους βασικούς ορισμούς) και μετά η πιο βασικές λύσεις για το πρόβλημα πλαισίου οι οποίες βασίζονται στον καταστατικό λογισμός (ο οποίος βασίζεται στην κατηγορηματική λογική. Θα δοθούν και οι βασικοί ορισμοί και η περιγραφή του Λογισμού Καταστάσεων (Situation Calculus) στο πρόβλημα του πλαισίου. Θα Περιγράψουμε τρεις λύσεις του Pednault, του Hass και του Reiter και θα παρουσιάσομε μια σύγκριση για αυτές. Τέλος, θα παρουσιάσομε πως μπορούν η λογικές προτάσεις να υλοποιηθούν στην γλώσσα C. Δεδομένου ότι όλες οι λύσεις βασίζονται στην λογική μπορούμε να χρησιμοποιήσουμε αυτήν την πρόταση για την υλοποίηση των προτάσεων.

This paper describes the problem of the frame of Artificial Intelligence and presents the main solutions have been given. It tries to give a general framework that describes the problem of deterministic predicates or functions that are not affected when an action performed. Their understanding of the problem first presented the categorical calculus (with key definitions) and then the most basic solutions for the problem frame based on statute calculus (which is based on predicate logic. Would give the basic definitions and the description of calculus Statements (Situation Calculus) to the problem of the frame. We describe three solutions Pednault, the Hass and Reiter will present a comparison for them. Finally, we will present how the reasonable proposals to implement the language C. Since all solutions based on logic we can use this proposal to implement the proposals.