190 likes | 285 Views
This project aims to integrate various parts of automated reasoning into a scenario simulation infrastructure, enabling interaction, communication, and coordination for multi-initiative planning. It involves integrating i-sim agent, i-plan, and other components in individual agents for task decomposition and providing human interfaces. Research areas include goal consistency check, resolution of inconsistencies, distributed planning architectures, and empirical evaluations.
E N D
a-globe • would provide scenario simulation • would integrate various parts of automated reasoning here • would provide interaction and communication infrastructure
i-x framework • i-sim agent • i-plan • would be integrated in individual agents for individual planning • would perform the task decomposition • would provide a human interface into the community
stand-ins/acquaintance models • for off-line and disconnected interaction
methods with other integration? • goal consistency check (task) • resolution of inconsistencies • goals • plans • procedural refinments • incomplete information reasoning • planning in cooperation requesting an effect from another agent • plan evaluation and comparison explanation • relaxation (cosntructive alternatove) instead of a failiure
formalization • distributed planning problem • fair distribution of workload • matching to the scenario • knowledge representation • distributed planning architecture • distributed planning algorithms • new • old