On procedure recognition in the Situation Calculus

Simple item page
dc.contributor.authorBaier Aranda, Jorge Andrés
dc.date.accessioned2022-05-16T20:30:50Z
dc.date.available2022-05-16T20:30:50Z
dc.date.issued2002
dc.description.abstractThe aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward the construction of this kind of system: procedure recognition. We formalize what it means that an agent is performing a procedure in the Situation Calculus, a logical first-order language extended with induction. Based upon this formalization, we give two different implementations. The first, which is directly based in our formalization, is proved to be quite inefficient. The second, significantly more efficient, arises from a logical reformulation of the original formalization. Procedures are represented through CONGOLOG programs, a logical interpreted language based on the Situation Calculus.
dc.fuente.origenIEEE
dc.identifier.doi10.1109/SCCC.2002.1173171
dc.identifier.issn1522-4902
dc.identifier.urihttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1173171
dc.identifier.urihttps://doi.org/10.1109/SCCC.2002.1173171
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/64001
dc.information.autorucEscuela de ingeniería ; Baier Aranda, Jorge Andres ; S/I ; 9477
dc.language.isoen
dc.nota.accesoContenido parcial
dc.publisherIEEE
dc.relation.ispartofInternational Conference of the Chilean Computer Science Society (12° : 2002 : Copiapó, Chile)
dc.rightsacceso restringido
dc.subjectCalculus
dc.subjectIntelligent agent
dc.subjectIntelligent systems
dc.subjectAircraft
dc.subjectNatural language processing
dc.subjectLibraries
dc.subjectPoles and towers
dc.subjectMonitoring
dc.subjectPosition measurement
dc.subjectLogic programming
dc.titleOn procedure recognition in the Situation Calculuses_ES
dc.typecomunicación de congreso
sipa.codpersvinculados9477
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
On procedure recognition in the Situation Calculus.pdf
Size:
2.71 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Artículos de conferencia