merge dev into main #49

Merged
8464960 merged 430 commits from dev into main 2026-01-28 10:49:15 +00:00
Showing only changes of commit 2d4f9a3323 - Show all commits

View File

@@ -11,9 +11,6 @@ class ZMQSettings(BaseModel):
class AgentSettings(BaseModel):
# connection settings
host: str = "localhost"
# agent names
bdi_core_name: str = "bdi_core_agent"
bdi_belief_collector_name: str = "belief_collector_agent"
@@ -25,9 +22,6 @@ class AgentSettings(BaseModel):
ri_communication_name: str = "ri_communication_agent"
robot_speech_name: str = "robot_speech_agent"
# default SPADE port
default_spade_port: int = 5222
class BehaviourSettings(BaseModel):
sleep_s: float = 1.0